A logic-based approach to deal with implicational systems and direct bases

El tratamiento de la información y el conocimiento es uno de los muchos campos en los que confluyen los métodos matemáticos y computacionales. Una de las áreas donde encontramos de forma clara esta concurrencia es en el Análisis de Conceptos Formales, donde los métodos de almacenamiento, descubrimiento, análisis y manipulación del conocimiento descansan sobre las sólidas bases del Álgebra y de la Lógica. En el Análisis de Conceptos Formales la información se representa en tablas binarias en las que se relacionan objetos con sus atributos. Dichas tablas, denominadas contextos formales, son el repositorio de datos del que se extrae el conocimiento mediante la utilización de técnicas algebraicas. Este conocimiento se puede representar de diversas formas, entre ellas se encuentran los conjuntos de implicaciones. Una de las principales ventajas de usar sistemas de implicaciones para representar el conocimiento es que admiten un tratamiento sintáctico por medio de la lógica, segundo pilar matemático en el que se sustenta la tesis. La mejor alternativa de cara al razonamiento automático viene de mano de la Lógica de Simplificación. El conjunto de axiomas y reglas de inferencias de esta lógica lleva directamente a un conjunto de equivalencias que permiten eliminar redundancias en los sistemas de implicaciones. La extracción de sistemas de implicaciones, y su posterior tratamiento y manipulación, constituyen un tema de actualidad en la comunidad del Análisis de Conceptos Formales. Los conjuntos de implicaciones extraídos pueden contener gran cantidad de información redundante, por lo que el estudio de propiedades que permitan caracterizar conjuntos equivalentes de implicaciones con menor redundancia o sin ella, se erige como uno de los retos más importantes. Sin embargo, como sucede en otras áreas, en algunas ocasiones puede ser interesante almacenar cierta clase de información redundante en función del uso posterior que se le pretenda dar. Sobresale pues, entre los temas de interés del área, el problema de la búsqueda de representaciones canónicas de sistemas de implicaciones que, satisfaciendo ciertas propiedades, permitan compilar todo el conocimiento extraído del contexto formal. Estas representaciones canónicas para los sistemas de implicaciones suelen recibir el nombre de `bases'. En esta tesis ponemos nuestra atención en un grupo de bases conocidas como `bases directas', que son aquellas que permiten calcular el cierre de cualquier conjunto en un único recorrido del sistema de implicaciones. Los objetivos generales de la tesis son dos: - El estudio de las bases directas en Análisis de Conceptos Formales clásico con la finalidad de obtener algoritmos eficientes para calcular dichas bases. Para ello analizamos las definiciones que aparecen en la bibliografía (base directa-optimal y D-base) y proponemos una alternativa (base dicótoma directa), así como métodos para su cálculo. - Establecer las bases para la extensión de estos resultados al Análisis de Conceptos Triádicos, en particular, introducir una lógica que permita el razonamiento automático sobre implicaciones en esta extensión. Se presentan dos lógicas: CAIL y CAISL. La primera permite caracterizar la semántica de las implicaciones y la segunda el razonamiento automático

Removing redundancy for attribute implications in data with grades

Reasoning with if-then rules –in particular, with those taking from of implications between conjunctions of attributes– is crucial in many disciplines ranging from theoretical computer science to applications. One of the most important problems regarding the rules is to remove redundancies in order to obtain equivalent implicational sets with lower size.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Cocoa coproducts-based and walnut oil gelled emulsion as animal fat replacer and healthy bioactive source in beef burgers

The aim of this work was to evaluate the effects on the chemical, physic-chemical, tech-nological, and sensory properties of beef burger when replacing different quantities of fat (50 and 100%) with different levels of oil-in-water-gelled emulsion elaborated with walnut oil and cocoa bean shell flour (GECW). The chemical composition of the samples was affected by the fat replace-ment. The reformulation increased the moisture and ash content while the fat and protein content decreased with respect to the control sample. The linolenic and linolenic acid content of the beef burgers increased as the GECW replacement was augmented. The polyunsaturated fatty/saturated fatty acid ratio increased in both raw and cooked burgers, whereas the atherogenicity index and thrombogenicity index were reduced in both raw and cooked burgers with respect to the control sample. The use of GECW as a fat replacer was found to be effective in improving the cooking loss. Similarly, there were positive effects on reductions in the diameter and the increases in the thickness of the beef burgers. Regarding lipid stability, in both the raw and cooked burgers, the reformulation increased the 2-thiobarbituric acid reactive substance (TBARs) values with respect to the control sample. In both types of reformulated burgers, three bound polyphenols (mainly catechin and epicatechin) and two free polyphenols were identified, as were methylxanthines theobromine and caffeine. The sensory properties for the control and partial pork backfat replacement treatments were similar, while the sample with the total pork backfat replacement treatment showed the lowest scores. The blend of cocoa bean shell flour and walnut oil could be used as new ingredients for the development of beef burgers with a healthier nutritional profile without demeriting their sensory or cooking characteristics and physic-chemical properties.This research was funded by Programa Iberoamericano de Ciencia y Tecnología para el Desarrollo CYTED: 119RT0568.info:eu-repo/semantics/publishedVersio

Rhinitis associated with asthma is distinct from rhinitis alone: TARIA‐MeDALL hypothesis

Asthma, rhinitis, and atopic dermatitis (AD) are interrelated clinical phenotypes that partly overlap in the human interactome. The concept of “one-airway-one-disease,” coined over 20 years ago, is a simplistic approach of the links between upper- and lower-airway allergic diseases. With new data, it is time to reassess the concept. This article reviews (i) the clinical observations that led to Allergic Rhinitis and its Impact on Asthma (ARIA), (ii) new insights into polysensitization and multimorbidity, (iii) advances in mHealth for novel phenotype definitions, (iv) confirmation in canonical epidemiologic studies, (v) genomic findings, (vi) treatment approaches, and (vii) novel concepts on the onset of rhinitis and multimorbidity. One recent concept, bringing together upper- and lower-airway allergic diseases with skin, gut, and neuropsychiatric multimorbidities, is the “Epithelial Barrier Hypothesis.” This review determined that the “one-airway-one-disease” concept does not always hold true and that several phenotypes of disease can be defined. These phenotypes include an extreme “allergic” (asthma) phenotype combining asthma, rhinitis, and conjunctivitis.info:eu-repo/semantics/publishedVersio

Cabbage and fermented vegetables : From death rate heterogeneity in countries to candidates for mitigation strategies of severe COVID-19

Large differences in COVID-19 death rates exist between countries and between regions of the same country. Some very low death rate countries such as Eastern Asia, Central Europe, or the Balkans have a common feature of eating large quantities of fermented foods. Although biases exist when examining ecological studies, fermented vegetables or cabbage have been associated with low death rates in European countries. SARS-CoV-2 binds to its receptor, the angiotensin-converting enzyme 2 (ACE2). As a result of SARS-CoV-2 binding, ACE2 downregulation enhances the angiotensin II receptor type 1 (AT(1)R) axis associated with oxidative stress. This leads to insulin resistance as well as lung and endothelial damage, two severe outcomes of COVID-19. The nuclear factor (erythroid-derived 2)-like 2 (Nrf2) is the most potent antioxidant in humans and can block in particular the AT(1)R axis. Cabbage contains precursors of sulforaphane, the most active natural activator of Nrf2. Fermented vegetables contain many lactobacilli, which are also potent Nrf2 activators. Three examples are: kimchi in Korea, westernized foods, and the slum paradox. It is proposed that fermented cabbage is a proof-of-concept of dietary manipulations that may enhance Nrf2-associated antioxidant effects, helpful in mitigating COVID-19 severity.Peer reviewe

Nrf2-interacting nutrients and COVID-19 : time for research to develop adaptation strategies

There are large between- and within-country variations in COVID-19 death rates. Some very low death rate settings such as Eastern Asia, Central Europe, the Balkans and Africa have a common feature of eating large quantities of fermented foods whose intake is associated with the activation of the Nrf2 (Nuclear factor (erythroid-derived 2)-like 2) anti-oxidant transcription factor. There are many Nrf2-interacting nutrients (berberine, curcumin, epigallocatechin gallate, genistein, quercetin, resveratrol, sulforaphane) that all act similarly to reduce insulin resistance, endothelial damage, lung injury and cytokine storm. They also act on the same mechanisms (mTOR: Mammalian target of rapamycin, PPAR gamma:Peroxisome proliferator-activated receptor, NF kappa B: Nuclear factor kappa B, ERK: Extracellular signal-regulated kinases and eIF2 alpha:Elongation initiation factor 2 alpha). They may as a result be important in mitigating the severity of COVID-19, acting through the endoplasmic reticulum stress or ACE-Angiotensin-II-AT(1)R axis (AT(1)R) pathway. Many Nrf2-interacting nutrients are also interacting with TRPA1 and/or TRPV1. Interestingly, geographical areas with very low COVID-19 mortality are those with the lowest prevalence of obesity (Sub-Saharan Africa and Asia). It is tempting to propose that Nrf2-interacting foods and nutrients can re-balance insulin resistance and have a significant effect on COVID-19 severity. It is therefore possible that the intake of these foods may restore an optimal natural balance for the Nrf2 pathway and may be of interest in the mitigation of COVID-19 severity

Hyperoxemia and excess oxygen use in early acute respiratory distress syndrome : Insights from the LUNG SAFE study

Publisher Copyright: © 2020 The Author(s). Copyright: Copyright 2020 Elsevier B.V., All rights reserved.Background: Concerns exist regarding the prevalence and impact of unnecessary oxygen use in patients with acute respiratory distress syndrome (ARDS). We examined this issue in patients with ARDS enrolled in the Large observational study to UNderstand the Global impact of Severe Acute respiratory FailurE (LUNG SAFE) study. Methods: In this secondary analysis of the LUNG SAFE study, we wished to determine the prevalence and the outcomes associated with hyperoxemia on day 1, sustained hyperoxemia, and excessive oxygen use in patients with early ARDS. Patients who fulfilled criteria of ARDS on day 1 and day 2 of acute hypoxemic respiratory failure were categorized based on the presence of hyperoxemia (PaO2 > 100 mmHg) on day 1, sustained (i.e., present on day 1 and day 2) hyperoxemia, or excessive oxygen use (FIO2 ≥ 0.60 during hyperoxemia). Results: Of 2005 patients that met the inclusion criteria, 131 (6.5%) were hypoxemic (PaO2 < 55 mmHg), 607 (30%) had hyperoxemia on day 1, and 250 (12%) had sustained hyperoxemia. Excess FIO2 use occurred in 400 (66%) out of 607 patients with hyperoxemia. Excess FIO2 use decreased from day 1 to day 2 of ARDS, with most hyperoxemic patients on day 2 receiving relatively low FIO2. Multivariate analyses found no independent relationship between day 1 hyperoxemia, sustained hyperoxemia, or excess FIO2 use and adverse clinical outcomes. Mortality was 42% in patients with excess FIO2 use, compared to 39% in a propensity-matched sample of normoxemic (PaO2 55-100 mmHg) patients (P = 0.47). Conclusions: Hyperoxemia and excess oxygen use are both prevalent in early ARDS but are most often non-sustained. No relationship was found between hyperoxemia or excessive oxygen use and patient outcome in this cohort. Trial registration: LUNG-SAFE is registered with ClinicalTrials.gov, NCT02010073publishersversionPeer reviewe

Removing redundancy for attribute implications in data with grades

Reasoning with if-then rules –in particular, with those taking from of implications between conjunctions of attributes– is crucial in many disciplines ranging from theoretical computer science to applications. One of the most important problems regarding the rules is to remove redundancies in order to obtain equivalent implicational sets with lower size.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech